03f1bc8797f8c2657513baf4768d426f9fadec0d,pdt.editor/src/org/cs3/pdt/editor/metadata/PredicateReadingUtilities.java,PredicateReadingUtilities,findBeginOfPredicateName,#IDocument#number#,121
Before Change
start--; // scan left until first non-predicate-name char
}
start++; // start is now the position of the first predicate char
if (document.getChar(start) == '\'') {
predicate_name_is_enclosed_in_quotes = true;
// start++; // quotes are not part of the name
}
After Change
throws BadLocationException {
int start = begin;
ITypedRegion partition = document.getPartition(begin);
boolean predicateNameIsEnclosedInQuotes = (partition != null && PLPartitionScanner.PL_SINGLE_QUOTED_STRING.equals(partition.getType()));
if (predicateNameIsEnclosedInQuotes) {
return partition.getOffset();
} else {
while (start >= 0 && ParserUtils.isNormalPredicateNameChar(document.getChar(start))) {
start--; // scan left until first non-predicate-name char
}
return start + 1;
}
// while (start >= 0 && ParserUtils.isPredicateNameChar(document.getChar(start))) {